#include<stdio.h>
#include<stdlib.h>

int main() 
{
  while(getchar()!=EOF)
  {
    printf("This char is not EOF\n");
  }
  {
    printf("This char is an EOF\n");
  }

    printf("%d",EOF);
}
